package testcasegenerator.coveragemanager;

import graph.mcg.CGNode;
import graph.mcg.ConstraintGraph;

import java.util.List;


import testcasegenerator.clp.methodlevel.TestCase;
import testcasegenerator.pathenumerator.TestPath;

public interface CoverageManager {
	void updateCoverage(ConstraintGraph cg, TestPath path);
	boolean isCovered(ConstraintGraph cg);
	public Object[] generateTestCase(String classname, String methodname);
}
